-
1 логический вывод
-
2 логический вывод
схемы вывода; механизмы вывода — inference machinery
Русско-английский большой базовый словарь > логический вывод
-
3 логический вывод
inference имя существительное: -
4 логический вывод
логический вывод
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > логический вывод
-
5 логический вывод
Русско-английский новый политехнический словарь > логический вывод
-
6 логический вывод
Русско-английский словарь по информационным технологиям > логический вывод
-
7 логический вывод
Русско-английский словарь по вычислительной технике и программированию > логический вывод
-
8 логический вывод
Русско-английский словарь по нефти и газу > логический вывод
-
9 логический вывод
1) General subject: ergotism2) Computers: logical inference4) Mathematics: logical derivation, logical induction, logical judgment5) Law: logical conclusion6) Logics: traduction, logic output7) Information technology: inference, inferencing8) Advertising: logical consequence9) Programming: logical deduction10) Automation: inductive inference11) Makarov: illative result -
10 логический вывод
deduction, inference, logical conclusion, logical derivation, logical inferenceРусско-английский научно-технический словарь Масловского > логический вывод
-
11 логический вывод
logical deduction, logical inference -
12 логический вывод
outcome, logical inference -
13 логический вывод
logical inference, outcomeРусско-английский словарь по радиоэлектронике > логический вывод
-
14 логический вывод
deduction; logical conclusion (inference) -
15 Логический вывод типа Мамдани
Русско-английский словарь по прикладной математике и механике > Логический вывод типа Мамдани
-
16 логический вывод
deduction; logical conclusion (inference) -
17 логический вывод
deduction, inference, reasoningРусско-английский политехнический словарь > логический вывод
-
18 целеориентированный (логический) вывод
Linguistics: goal-directed inference, goal-oriented inferenceУниверсальный русско-английский словарь > целеориентированный (логический) вывод
-
19 транзитивный логический вывод
Mechanics: transitive inferenceУниверсальный русско-английский словарь > транзитивный логический вывод
-
20 Нейро-нечеткий логический вывод
Русско-английский словарь по прикладной математике и механике > Нейро-нечеткий логический вывод
См. также в других словарях:
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
вывод (логический) — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN inference … Справочник технического переводчика
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия
